state euclid's division lemma